5

A dynamic–symbolic interface for geometric theorem discovery

Year:
2002
Language:
english
File:
PDF, 502 KB
english, 2002